True, False and Not

Since we are implementing booleans as functions, we already have the definitions of True, False and Not.

#math102#
True = First  
False = Second  
Not = Twiddle  

So for free we get the following results:
#math103#
Not~True = False  
Not~False = True  
Compose~Not~Not = Identity  

The TEX implementation is not exactly difficult: ===<#815#>TeXcode<#815#>